Type-checking change-color
...action passes type checking.
Type-checking paint-up
...action passes type checking.
Type-checking paint-down
...action passes type checking.
Type-checking up
...action passes type checking.
Type-checking down
...action passes type checking.
Type-checking right
...action passes type checking.
Type-checking left
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 20
1:
(right robot1 tile_0-1 tile_0-2)
 
2:
(down robot1 tile_0-2 tile_1-2)
 
3:
(paint-down robot1 tile_2-2 tile_1-2 white)
 
4:
(change-color robot1 white black)
 
5:
(right robot1 tile_1-2 tile_1-3)
 
6:
(paint-down robot1 tile_2-3 tile_1-3 black)
 
7:
(left robot1 tile_1-3 tile_1-2)
 
8:
(left robot1 tile_1-2 tile_1-1)
 
9:
(paint-down robot1 tile_2-1 tile_1-1 black)
 
10:
(up robot1 tile_1-1 tile_0-1)
 
11:
(change-color robot1 black white)
 
12:
(paint-down robot1 tile_1-1 tile_0-1 white)
 
13:
(change-color robot1 white black)
 
14:
(right robot1 tile_0-1 tile_0-2)
 
15:
(right robot1 tile_0-2 tile_0-3)
 
16:
(left robot1 tile_0-3 tile_0-2)
 
17:
(paint-down robot1 tile_1-2 tile_0-2 black)
 
18:
(right robot1 tile_0-2 tile_0-3)
 
19:
(change-color robot1 black white)
 
20:
(paint-down robot1 tile_1-3 tile_0-3 white)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (robot-at robot1 tile_0-1)
Deleting (clear tile_0-2)
Adding (robot-at robot1 tile_0-2)
Adding (clear tile_0-1)
Updating (total-cost) (0) by 1 increase

Checking next happening (time 2)
Deleting (robot-at robot1 tile_0-2)
Deleting (clear tile_1-2)
Adding (robot-at robot1 tile_1-2)
Adding (clear tile_0-2)
Updating (total-cost) (1) by 1 increase

Checking next happening (time 3)
Deleting (clear tile_2-2)
Adding (painted tile_2-2 white)
Updating (total-cost) (2) by 2 increase

Checking next happening (time 4)
Deleting (robot-has robot1 white)
Adding (robot-has robot1 black)
Updating (total-cost) (4) by 5 increase

Checking next happening (time 5)
Deleting (robot-at robot1 tile_1-2)
Deleting (clear tile_1-3)
Adding (robot-at robot1 tile_1-3)
Adding (clear tile_1-2)
Updating (total-cost) (9) by 1 increase

Checking next happening (time 6)
Deleting (clear tile_2-3)
Adding (painted tile_2-3 black)
Updating (total-cost) (10) by 2 increase

Checking next happening (time 7)
Deleting (robot-at robot1 tile_1-3)
Deleting (clear tile_1-2)
Adding (robot-at robot1 tile_1-2)
Adding (clear tile_1-3)
Updating (total-cost) (12) by 1 increase

Checking next happening (time 8)
Deleting (robot-at robot1 tile_1-2)
Deleting (clear tile_1-1)
Adding (robot-at robot1 tile_1-1)
Adding (clear tile_1-2)
Updating (total-cost) (13) by 1 increase

Checking next happening (time 9)
Deleting (clear tile_2-1)
Adding (painted tile_2-1 black)
Updating (total-cost) (14) by 2 increase

Checking next happening (time 10)
Deleting (robot-at robot1 tile_1-1)
Deleting (clear tile_0-1)
Adding (robot-at robot1 tile_0-1)
Adding (clear tile_1-1)
Updating (total-cost) (16) by 3 increase

Checking next happening (time 11)
Deleting (robot-has robot1 black)
Adding (robot-has robot1 white)
Updating (total-cost) (19) by 5 increase

Checking next happening (time 12)
Deleting (clear tile_1-1)
Adding (painted tile_1-1 white)
Updating (total-cost) (24) by 2 increase

Checking next happening (time 13)
Deleting (robot-has robot1 white)
Adding (robot-has robot1 black)
Updating (total-cost) (26) by 5 increase

Checking next happening (time 14)
Deleting (robot-at robot1 tile_0-1)
Deleting (clear tile_0-2)
Adding (robot-at robot1 tile_0-2)
Adding (clear tile_0-1)
Updating (total-cost) (31) by 1 increase

Checking next happening (time 15)
Deleting (robot-at robot1 tile_0-2)
Deleting (clear tile_0-3)
Adding (robot-at robot1 tile_0-3)
Adding (clear tile_0-2)
Updating (total-cost) (32) by 1 increase

Checking next happening (time 16)
Deleting (robot-at robot1 tile_0-3)
Deleting (clear tile_0-2)
Adding (robot-at robot1 tile_0-2)
Adding (clear tile_0-3)
Updating (total-cost) (33) by 1 increase

Checking next happening (time 17)
Deleting (clear tile_1-2)
Adding (painted tile_1-2 black)
Updating (total-cost) (34) by 2 increase

Checking next happening (time 18)
Deleting (robot-at robot1 tile_0-2)
Deleting (clear tile_0-3)
Adding (robot-at robot1 tile_0-3)
Adding (clear tile_0-2)
Updating (total-cost) (36) by 1 increase

Checking next happening (time 19)
Deleting (robot-has robot1 black)
Adding (robot-has robot1 white)
Updating (total-cost) (37) by 5 increase

Checking next happening (time 20)
Deleting (clear tile_1-3)
Adding (painted tile_1-3 white)
Updating (total-cost) (42) by 2 increase
Plan executed successfully - checking goal
Plan valid
Final value: 44 

Successful plans:
Value: 44